Eve's Awakening

The Z/EVES System

We describe the Z/EVES system, which allows Z speci cations to be analysed in a number of di erent ways. Among the signi cant features of Z/EVES are domain checking, which ensures that a speci cation is meaningful, and a theorem prover that includes a decision procedure for simple arithmetic and a heuristic rewriting mechanism that recognizes \obvious" facts.

Z and Eves

Application of Eves to Reverse Engineering Software

Listen (Awakening)

For the ICAD conference 2004 in Sydney a sonification of ECG and other data was carried out to merge the boundaries between artistic sonification and scientific auditory display. Listen (Awakening) attempts to create in sound the activity of the brain becoming aware of a piece of music and gradually building in its subconscious reaction and appreciation. Certain constraints were put on the soni...

Awakening heterochromatin

Awakening heterochromatin ites in the human genome once thought to be inert structural material are brought to life in response to stress, according to results from Jolly et al. (page 25). These inactive DNA stretches are binding sites for HSF1, a transcription factor that activates individual heat shock genes and accumulates in nuclear granules after heat shock. These granules were, like HSF1,...